POTTER, BEN; TILL, DAVID; SINCLAIR, JANE
An Introduction to Formal Specification and Z
Harlow: Prentice Hall Europe, 1996. 2nd Edition.. Paperback. xiv + 434 pages, appendices, bibliography, list of symbols, index, (Prentice Hall International Series in Computer Science).. Very Good .
Philip Emery
Professional sellerBook number: 138529
GBP 1.87 [Appr.: EURO 2.25 US$ 2.34 | JP¥ 368]